Model of computation - PDFSEARCH.IO - Document Search Engine

Model of computation
Results: 512

#	Item
161	PDF Document Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2009-07-21 20:08:24 Scheduling algorithms Threads Models of computation Scheduling Unbounded nondeterminism Model checking Monitor Multithreading Non-blocking algorithm Computing Concurrent computing Concurrency
162	Software Tools for Technology Transfer manuscript No. (will be inserted by the editor) A Loop Acceleration Technique to Speed Up Verification of Automatically-Generated Plans Robert P. Goldman and Michael J.S. Pelican an Add to Reading List Source URL: rpgoldman.goldman-tribe.org Language: English - Date: 2013-06-12 10:51:30 Applied mathematics Computer science Model checking Formal verification Finite-state machine Deterministic finite automaton Automated planning and scheduling Uppaal Model Checker Clock Models of computation Automata theory Theoretical computer science
163	Rapid Computation of Distance Estimators from Nucleotide and Amino Acid Alignments M. Simonsen C. N. S. Pedersen Add to Reading List Source URL: users-birc.au.dk Language: English - Date: 2011-04-11 06:03:44 Biology Sequence alignment Nucleic acid sequence Multiple sequence alignment Substitution model Phylo BLOSUM SIMD SSE2 Computational phylogenetics Bioinformatics Science
164	Information-Theoretically Secure Protocols and Security Under Composition∗ Eyal Kushilevitz† Department of Computer Science Technion Israel Institute of Technology Haifa 32000, Israel. Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2009-12-20 09:14:45 Universal composability Secure multi-party computation Information-theoretic security Zero-knowledge proof Communications protocol Actor model Cryptography Cryptographic protocols Secure two-party computation
165	E. Bibliography [1] Abelson, Harold, and Sussman, Gerald Jay, Structure and Interpretation of Computer Programs. Cambridge, MA: MIT Press, 1985. Add to Reading List Source URL: erights.org Language: English - Date: 2004-12-04 19:43:51 Year of birth missing Actor model Concurrent computing Logic programming Prolog Barbara Jane Liskov Programming language Indeterminacy in concurrent computation Keith Clark Computing Software engineering Computer programming
166	Multi-Stage Programming: Its Theory and Applications Walid Taha B.S. Computer Science and Engineering, 1993, Kuwait University. Add to Reading List Source URL: www.cs.rice.edu Language: English - Date: 2004-09-07 10:26:57 Computer science Models of computation Theoretical computer science Formal methods Computability theory Lambda calculus Actor model Type safety Programming language Software engineering Computing Programming paradigms
167	A Universal Innocent Game Model for the B¨ ohm Tree Lambda Theory Andrew D. Ker, Hanno Nickau, and C.-H. Luke Ong Computing Laboratory, Parks Road, Oxford OX1 3QD, UK, {Andrew.Ker, Hanno.Nickau, Luke.Ong}@comlab.ox.ac.u Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2006-07-16 07:23:06 Computability theory Lambda calculus Theoretical computer science Determinacy Support Applied mathematics Computer science Decomposition of spectrum Models of computation Spectral theory Mathematics
168	INTERPOLATION SCHEMES IN THE DISPLACED-DIFFUSION LIBOR MARKET MODEL AND THE EFFICIENT COMPUTATION OF PRICES AND GREEKS FOR CALLABLE RANGE ACCRUALS CHRISTOPHER BEVERIDGE AND MARK JOSHI Abstract. We introduce a new arbitra Add to Reading List Source URL: fbe.unimelb.edu.au Language: English - Date: 2013-08-05 02:19:33 Investment Mathematical finance Options Range accrual Bonds Interest rate derivative T1 Yield curve Zero-coupon bond Financial economics Economics Finance
169	0000_V53.09_SEPTEMBER.indb Add to Reading List Source URL: www.win.tue.nl Language: English - Date: 2010-10-12 03:32:45 Applied mathematics Philosophy of science Computational science Computational model Computer science Mathematics Scientific method Computation Scientific theory Science Epistemology Knowledge
170	Using a Visual Routine to Model the Computation of Positional Relationships Andrew Lovett () Kenneth Forbus () Qualitative Reasoning Group Electrical Engineering and C Add to Reading List Source URL: spatiallearning.org Language: English - Date: 2010-05-15 15:16:45 Orientation Abstract algebra Vectors Vector calculus Euclidean vector Symmetry Visual cortex Dimensional analysis Encoding Algebra Mathematics Linear algebra

UPDATE